문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 명제 논리 (문단 편집) === 전건 긍정 === > [math({\to}{\rm E}:P\to Q,\,P\vdash Q)] {{{+1 Modus Ponens}}} 조건문이 참이고 그 전건이 참이라면, 후건은 참이다. [math({\rm MP})](modus ponens)라고 쓰기도 한다 ||''' 한국어 추론 예시'''. 만일 눈이 온다면, 스키를 타러갈 수 있다. 눈이 온다. ---- 스키를 타러갈 수 있다. ||저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기